Let C be an (n,k) linear code over F with parity-check matrix H. Then, two vectors of Fn are in the same coset of C if and only if they have the same syndrome.